((v1 v1 4) (v2 v2 3))
12
((v1 v2))